Works by S. C. Van Westrhenen

( view other items matching `S. C. van Westrhenen`, view all matches )
7 found
Order:
Disambiguations
S. C. van Westrhenen [7]S. Christiaan van Westrhenen [1]
  1. A computer programme for the first order predicate calculus without identity.S. C. van Westrhenen - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
     
    Export citation  
     
    Bookmark  
  2.  14
    (1 other version)A probabilistic machine for the estimation of provability in the first order predicate calculus.S. C. van Westrhenen - 1969 - Mathematical Logic Quarterly 15 (19):291-297.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. A random generator for sentential calculus.S. C. van Westrhenen - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
     
    Export citation  
     
    Bookmark  
  4. A simple application of discrete Markov chains to mathematical logic.S. C. van Westrhenen - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
     
    Export citation  
     
    Bookmark  
  5. Statistical estimation of definability.S. C. van Westrhenen - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
     
    Export citation  
     
    Bookmark  
  6. Some remarks on the statistical estimation of probability in first-order predicate calculus.S. C. van Westrhenen - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
     
    Export citation  
     
    Bookmark  
  7.  2
    The statistical estimation of provability in the first order predicate calculus.S. Christiaan van Westrhenen - 1969 - [Eindhoven,: Technische Hogeschool (Inslindelaan 2).
    Direct download  
     
    Export citation  
     
    Bookmark